1. Automata for Branching and Layered Temporal Structures
پدیدآورنده: / Gabriele Puppis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
2. Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems
پدیدآورنده: / Gabriele Puppis (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3. Automata for branching and layered temporal structures
پدیدآورنده: Gabriele Puppis
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Machine theory
رده :
QA
،
26
،.
P87
،
2010
4. Automata for branching and layered temporal structures
پدیدآورنده: / Gabriele Puppis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory
رده :
QA267
.
P87
2010
5. Automata for branching and layered temporal structures
پدیدآورنده: / Gabriele Puppis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory
رده :
E-BOOK
6. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده: Puppis, Gabriele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
7. Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>
پدیدآورنده: / Gabriele Puppis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Computer logic,Branching processes,Space and time,Machine theory
رده :
006
.
3
P984A
2010
